/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package compilador.AnalisadorSintatico;


import compilador.AnalisadorLexico.Atomo;
import compilador.AnalisadorSemantico.GeracaoDeCodigo.TiposAS;

/**
 *
 * @author Leles
 */
public class SM_CMD_DoWhile extends SubMaquina {

    private enum Estados {
        ESPERA_DO, ESPERA_LOOP, 
        ESPERA_LISTACMD, 
        ESPERA_WHILE, ESPERA_ABRE_PAR, ESPERA_COND, ESPERA_FECHA_PAR, ESPERA_PONTOVIRGULA,
        ACEITA
    
    
    
    };
    
    SM_CMD_DoWhile() {
        estadoInicial = Estados.ESPERA_DO.ordinal();
        estadoFinal = Estados.ACEITA.ordinal();
        
        defineTabelaTransicao();    
    }
    
    
    private void defineTabelaTransicao (){
        /* Tabela com as Transicao
         * A maior parte das posicoes de memoria sao vazias
         * Funciona assim:  o primeiro indice indica o ESTADO ATUAL
         *                  o segundo  indice indica o ATOMO LIDO
         * Transicao DE SUBMAQUINA:
         * também passam um estado, o estado da volta
         * Ele é chamado na funcao, depois do retorno da submaquina
         * assim não é necessaria uma pilha explicita
         */
        
        numEstados = Estados.class.getEnumConstants().length;
        numAtomos = Atomo.TokenType.class.getEnumConstants().length;
        
        Tabela_Decisao = new Transicao [numEstados][numAtomos];
        
        // Transicao SUB MAQUINA DO WHILE
         Tabela_Decisao 
                [Estados.ESPERA_DO.ordinal()]
                [Atomo.TokenType.DO.ordinal()] =
                new Transicao ( Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_LISTACMD.ordinal(), 
                                null,
                                TiposAS.DOWHILE_INICIO  );
        Tabela_Decisao 
                [Estados.ESPERA_LISTACMD.ordinal()]
                [Atomo.TokenType.TRANSICAO_VAZIA.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.SubMaquina, 
                                Estados.ESPERA_LOOP.ordinal(), 
                                SM_Comandos.class,
                                TiposAS.ACAO_NENHUMA);
         Tabela_Decisao 
                [Estados.ESPERA_LOOP.ordinal()]
                [Atomo.TokenType.LOOP.ordinal()] =
                new Transicao ( Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_WHILE.ordinal(), 
                                null,
                                TiposAS.ACAO_NENHUMA );
         Tabela_Decisao 
                [Estados.ESPERA_WHILE.ordinal()]
                [Atomo.TokenType.WHILE.ordinal()] =
                new Transicao ( Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_ABRE_PAR.ordinal(), 
                                null,
                                TiposAS.ACAO_NENHUMA );
        
        Tabela_Decisao 
                [Estados.ESPERA_ABRE_PAR.ordinal()]
                [Atomo.TokenType.PARENTESES_ABRE.ordinal()] =
                new Transicao ( Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_COND.ordinal(), 
                                null,
                                TiposAS.ACAO_NENHUMA  );
        Tabela_Decisao 
                [Estados.ESPERA_COND.ordinal()]
                [Atomo.TokenType.TRANSICAO_VAZIA.ordinal()] =
                new Transicao ( Transicao.TipoTransicao.SubMaquina, 
                                Estados.ESPERA_FECHA_PAR.ordinal(), 
                                SM_Condicao.class,
                                TiposAS.ACAO_NENHUMA  );
        Tabela_Decisao 
                [Estados.ESPERA_FECHA_PAR.ordinal()]
                [Atomo.TokenType.PARENTESES_FECHA.ordinal()] =
                new Transicao ( Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_PONTOVIRGULA.ordinal(), 
                                null,
                                TiposAS.ACAO_NENHUMA );
        Tabela_Decisao 
                [Estados.ESPERA_PONTOVIRGULA.ordinal()]
                [Atomo.TokenType.PONTOEVIRGULA.ordinal()] =
                new Transicao ( Transicao.TipoTransicao.Estado, 
                                Estados.ACEITA.ordinal(), 
                                null,
                                TiposAS.DOWHILE_FIM );
        
   
        
    }        

    
    
}
